退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:Galois变换器和模块化抽象解释器可重复使用元理论进行程序分析
David Darais; Matthew Might; David Van Horn;
机译:Galois变压器和模块化抽象解释器可重用的元理论用于程序分析
机译:建设性的Galois连接驯服了针对机械化元理论的Galois连接框架
机译:模块化设计和编程语言分析的抽象状态机方法
机译:HMC:使用抽象解释器验证功能程序
机译:口译员教育计划:实施口译员培训师会议教育标准。
机译:座谈会论文:联合模块化Galois表示形式及其Selmer groups
机译:伽罗瓦变压器和模块化抽象口译员:可重复使用的程序分析
机译:抽象信息编码方法,抽象信息编码设备,抽象信息编码程序和抽象信息重构方法,抽象信息重构设备,抽象信息重构程序
机译:抽象信息编码方法,抽象信息编码设备,抽象信息编码程序和抽象信息重新配置方法,抽象信息重新配置设备,抽象信息重新配置程序
机译:多媒体子系统,用于接收大量数据的表达式,该子系统包含由多平台解释器组成的应用程序,用于与多平台解释器进行交互的平台子系统以及用于系统或子系统应用程序的大内存,其中包括多平台解释器,平台子系统,安排与所述多平台解释器进行交互,以及与该系统或子系统一起使用的大容量存储器)
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。